/* jQuery UI widgets */

.ui-widget-overlay {
	position: absolute;
	top: 0;
	left: 0;
	width: 100%;
	height: 100%;
}

.ui-widget {
	font-family: @ui-font-family;
	font-size: @ui-font-size;
}

.ui-widget .ui-widget {
	font-size: @ui-font-size - 0.1em;
}

.ui-widget input,
.ui-widget select,
.ui-widget textarea,
.ui-widget button {
	font-family: @ui-font-family;
	font-size: @ui-font-size - 0.1em;
}

.ui-widget-content {
	.ui-border(@ui-content-border);
	.ui-background(@ui-content-background, @ui-content-texture, @ui-content-fill);
	color: @ui-content-color;
	
	a {
		color: @ui-content-color;
	}
}

.ui-widget-header {
	.ui-border(@ui-header-border);
	.ui-background(@ui-header-background, @ui-header-texture, @ui-header-fill);
	color: @ui-header-color;
	font-weight: @ui-font-weight;
	
	a {
		color: @ui-header-color;
	}
}
